Nuprl Definition : decl-state
0,22
postcript
pdf
State(
ds
) ==
x
:Id
ds
(
x
)?Top
latex
clarification:
State(
ds
) ==
x
:Id
fpf-cap(
ds
;IdDeq;
x
;Top)
latex
Definitions
x
:
A
B
(
x
)
,
Id
,
f
(
x
)?
z
,
IdDeq
,
Top
FDL editor aliases
decl-state
origin
ds(x)?Top
fpf-cap(ds;IdDeq;x;Top) ds(x)?Top
fpf-cap(ds;IdDeq;x;Top) B(x)